continuation of isomorphisms

同构的延拓